Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
331	Theoretical Physics Scientists of the Bogoliubov Laboratory of Theoretical Physics (BLTP) have accumulated unique experience of research in several fundamental areas of theoretical physics: quantum field theory and eleme Add to Reading List Source URL: www.jinr.ru Language: English - Date: 2015-10-28 13:43:15 Physics Physics beyond the Standard Model Theoretical physics String theory Joint Institute for Nuclear Research Particle physics Supersymmetry Quantum field theory Condensed matter physics Quantum gravity Kuraev Eduard Alekseevich Bogolyubov Prize
332	Stably Computing Order Statistics with Arithmetic Population Protocols∗ George B. Mertzios1 , Sotiris E. Nikoletseas2,3 , Christoforos L. Raptopoulos2,3 , and Paul G. Spirakis2,3,4 1 2 Add to Reading List Source URL: community.dur.ac.uk Language: English - Date: 2016-06-08 05:06:10 FO Finite model theory Module:Ccnorm
333	Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability Matthew Might Tarun Prabhu Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2010-10-16 23:59:16 Logic Mathematics Metalogic Model theory Structure Abstraction
334	Network Analysis and Modeling CSCI 5352, Fall 2013 Prof. Aaron Clauset Problem Set 4, duepts total) Using the configuration model, investigate the set of random graphs in which Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2013-11-23 11:09:29 Graph theory Mathematics Network theory Algebraic graph theory Networks Network analysis Assortativity Graph Matching Clustering coefficient Connected component Centrality
335	An Intersection Model for Multitolerance Graphs: Efficient Algorithms and Hierarchy∗ George B. Mertzios† Abstract Tolerance graphs model interval relations in such a way that intervals can tolerate a certain degree o Add to Reading List Source URL: community.dur.ac.uk Language: English - Date: 2012-12-29 10:50:56 Graph theory Graph coloring Pathwidth Trapezoid graph Intersection graph Treewidth Ear decomposition Comparability graph Graph Interval graph Expander graph Line graph
336	Higgs theory Achilleas Lazopoulos (ETH Zurich) ATLAS HSG2 meeting Athens, 7 SepFriday, December 30, 11 Add to Reading List Source URL: people.phys.ethz.ch Language: English - Date: 2011-12-30 12:00:49 Physics Particle physics Elementary particles Quantum field theory Standard Model Electroweak theory Higgs boson Large Hadron Collider Quark Quantum chromodynamics
337	Bayesian Computation Emerges in Generic Cortical Microcircuits through Spike-Timing-Dependent Plasticity Bernhard Nessler1, Michael Pfeiffer1,2, Lars Buesing1, Wolfgang Maass1 1 Institute for Theoretical Computer Scienc Add to Reading List Source URL: www.gatsby.ucl.ac.uk Language: English* - Date: 2014-10-13 19:51:18 Neuroscience Nervous system Biology Computational neuroscience Neural networks Neurophysiology Spike-timing-dependent plasticity Biological neuron model Neural coding Hebbian theory Neuron Neural oscillation
338	Correction to: Simplicial structures on model categories and functors American Journal of Mathematics), by Charles Rezk, Stefan Schwede and Brooke Shipley Edoardo Lanari has pointed out a gap which stem Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-09-23 09:04:48 Mathematics Homotopy theory Functors Abstract algebra Algebra Category theory Algebraic topology Model category Simplicial set Adjoint functors Span Natural transformation
339	P267-25 Multiple Imputation for Missing Data: Concepts and New Development Yang C. Yuan, SAS Institute Inc., Rockville, MD Abstract Add to Reading List Source URL: www.ats.ucla.edu Language: English - Date: 2016-08-17 18:18:26 Statistics Data Regression analysis Statistical analysis Covariance and correlation Estimation theory Statistical methods Imputation Linear regression Covariance Mixed model Variance
340	Agent Based Pedestrian Simulation: Considering Elderlies in the Simulated Population Stefania Bandini, Luca Crociani, Giuseppe Vizzari CSAI - Complex Systems & Artificial Intelligence Research Center University of Milano Add to Reading List Source URL: aiia2014.di.unipi.it Language: English - Date: 2014-11-21 07:48:42 Scientific modeling Complex systems theory Business Systems science Simulation Transport Multi-agent systems Agent-based model Walkability Computer simulation Walking Grid plan

UPDATE